๐Ÿ” Z3 Parsing

Formal Grammar Verification, Parser Correctness, Syntax Validation, Language Safety

Automatic Syntax Error Recovery (2020)
tratt.netยท20hยท
Discuss: Lobsters
๐ŸŒณIncremental Parsing
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.comยท12hยท
Discuss: Hacker News
โฌŒBidirectional Typing
Flag this post
Learning Tractable Distributions Of Language Model Continuations
arxiv.orgยท2d
๐Ÿ’ปLocal LLMs
Flag this post
How I Use AI To Write Regex Without Memorizing Anything
dev.toยท1hยท
Discuss: DEV
๐Ÿ”RegEx Engines
Flag this post
Langโ€™s theorem โ€” Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comยท10h
ฮปLambda Encodings
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.comยท1dยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.techยท13hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
Zig in 30 Minutes
gist.github.comยท12hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Flag this post
The Rust Community Knew This Was Coming
lucisqr.substack.comยท1dยท
Discuss: Substack, r/cpp, r/programming
๐Ÿฆ€Rust Borrowing
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.comยท1d
โšกProof Automation
Flag this post
Olmo 3 is a fully open LLM
simonwillison.netยท6h
๐ŸŒ€Brotli Internals
Flag this post
Abuse of the nullish coalescing operator in JS/TS
fredrikmalmo.comยท1dยท
Discuss: Hacker News, r/javascript, r/programming, r/reactjs
๐ŸงชBinary Fuzzing
Flag this post
Infix Versus Prefix Operators
irreal.orgยท15h
๐Ÿง Lisp Dialects
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.orgยท1d
โš™๏ธABNF Mining
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.comยท21hยท
Discuss: Substack
๐Ÿ’ปProgramming languages
Flag this post
Show HN: AI Watermarkremover
aiwatermarkremover.onlineยท30mยท
Discuss: Hacker News
๐Ÿค–AI Paleography
Flag this post
Vibe Coding a Compiler: From Natural Language to LLVM IR
medium.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.aiยท9hยท
Discuss: Hacker News
๐Ÿ“„Text Chunking
Flag this post
On Cloudfare and Unwrap
reddit.comยท1dยท
Discuss: r/rust
๐Ÿฆ€Rust Borrowing
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.czยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿฆ€Rust Macros
Flag this post